| Concurrent ML | |
|---|---|
| Семантика | Синхронная передача сообщений |
| Класс языка | функциональный, конкурентный |
| Тип исполнения | встраиваемый |
| Автор | John H. Reppy |
| Выпуск | |
| Система типов | Хиндли—Милнера |
| Испытал влияние | Standard ML |
| Повлиял на |
конкурентные расширения для[2] OCaml, Haskell, Scheme, Java |
| Лицензия | открытая |
| Сайт | cml.cs.uchicago.edu |
| Платформа | Standard ML |
| ОС | кроссплатформенный |
Concurrent ML (CML) — статически типизированный язык конкурентного программирования высшего порядка, встраиваемый в язык общего назначения[англ.] Standard ML[3][2].
Реализован в виде библиотеки. Входит в стандартную поставку компиляторов SML/NJ[англ.] и MLton. С минимальными изменениями CML планируется ввести в стандарт будущего языка successor ML.
- ↑ 110.79 Distribution Files (англ.)
- ↑ 1 2 Reppy, 2009.
- ↑ Reppy, Xiao, 2007.